e ne prese settantamila per portar pesi, ottantamila per tagliar pietre nella montagna, e tremila seicento per sorvegliare e far lavorare il popolo.